Issue2309.agda:16,23-24
A !=< Fst (Test A a) x
when checking that the expression a has type Fst (Test A a) x
